class Main inherits IO {
    main() : SELF_TYPE {
	{
		out_string("Hello World\n");
	}
    };
};
